Interactive Transformation of Java Programs

نویسندگان

  • Marat Boshernitsan
  • Susan L. Graham
چکیده

Implementing large and sweeping changes to software source code can be tedious and error-prone. A conceptually simple change can require a significant code editing effort. Any source code modification can be viewed as a transformation of one program into another. Integrating scriptable sourceto-source program transformations into development environments can assist developers with many repetitive code editing tasks. We created a new language for describing source-to-source transformations that combines textual and graphical elements. We built an interactive transformation tool for Java that implements a novel user-interaction model for creating and executing transformations in this language. Our design was based on user studies, and has been evaluated using usability metrics. We evaluated the tool with professional Java developers and found that they were able to learn the transformation language quickly and to use the interaction model effectively to complete a transformation task.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Automatic Validation of Transformation Rules for Java Verification Against a Rewriting Semantics

This paper presents a methodology for automatically validating program transformation rules that are part of a calculus for Java source code verification. We target the Java Dynamic Logic calculus which is implemented in the interactive prover of the KeY system. As a basis for validation, we take an existing SOS style rewriting logic semantics for Java, formalized in the input language of the M...

متن کامل

Interactive Visualization of Java Programs

The design and implementation of a novel visual interactive execution environment for Java is described. This system displays both the run-time object structure as well as the internal details of object and method activations. The representation of the execution state is based upon a novel yet simple representation technique which clarifies the important fact that objects are environments. All ...

متن کامل

Interactive Visual Programming: Principles and Examples

1. Introduction Emerging principles of interactive visual programming are transforming component-based technology from an ad-hoc collection of techniques into a subdiscipline with conceptually deep design principles and semantic models. Visicalc and Excel provided special-purpose interactive visual tools in the 1980s, while Visual Basic and Active X controls have provided general-purpose tools ...

متن کامل

Kopitiam: Modular Incremental Interactive Full Functional Static Verification of Java Code

We are developing Kopitiam, a tool to interactively prove full functional correctness of Java programs using separation logic by interacting with the interactive theorem prover Coq. Kopitiam is an Eclipse plugin, enabling seamless integration into the workflow of a developer. Kopitiam enables a user to develop proofs side-by-side with Java programs in Eclipse.

متن کامل

Publication IV

In this article, we present a system intended to help students understand and debug concurrent Java programs. The system instruments Java classes to produce execution traces. These traces can then be used to construct a dynamic dependence graph showing the interactions between the different operations performed in the program. These interactions are used as the basis for an interactive visualis...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2006